Execute type checking of assignments in assign.tul