add unchecked vs. ok distinction to lint