feat: forbid non-reserved identifiers via withForbidden#14432

sgraf812 merged 2 commits into

masterleanprover/lean4:masterfrom

sg/parser-forbid-identsleanprover/lean4:sg/parser-forbid-identsCopy head branch name to clipboard