Except.ok Lean.Name.anonymous