Some more changes for type checker constraints
Correction for map compose calls with incompatible dom/rng