Use of ::= in the Compiler, eliminating almost all mutable state from its methods.