Type.Clone(), grammar fixes, fewer bugs

Produces buggy AST, more fixes to come.