====== Parsing TLA⁺ Syntax ======