type checker works better
stand 28.1 15.43
Code Gen should be finished