Rewrote subtyping relation code and added pretty printing behavior.
Rewrote subtyping relation code and added pretty printing behavior.
Fixed inverted bool
Added pretty printing for constraint maps and some primitive subtype errors.