Updated codeine neat and small changes to codegen and type checker