fix propagation of fresh tvars
fix exp diffing
fix root type query
refactor types out of checkers
refactor constraint and requirements out of checkers