Some modifications in the type checker