Parsing TLA⁺ Syntax