Almost done with type checking