added some debugging tools, fixed reduce a bit, added Show instance for Term, Type, and Constraint