More changes for type constraints in checker