corrections in typechecker