fix(syntaxes/lean): implicit binder brackets are forbidden in symbol names
fix(syntaxes/lean): implicit binder brackets are forbidden in symbol names

leanprover/vscode-lean,leanprover/vscode-lean,leanprover/vscode-lean