True, it's not alpha yet. But a lot of the semantic processing is being put into the grammar since in ANI, once a program is grammatically sound, it's just left-to-right type validation and dumping out boilerplate assembly for the equivalent of a type-safe stack machine. So even as it stands, the compiler is doing a nearly complete job of rejecting invalid programs, which really is the bulk of the work in compiling ANI.