'Unidentified' ASTs; hand-compiled from ASTs.
Annotated types in factorial example.
Started work on generating new AST.