Add simplifier for type variable constraints
Add promotion rules for typesets