code gen and type checker are working, but not