Updated structural equivalence algorithm for performance.  This form does not seem to contribute meaningfully to the quality of the types generated by manifestation.
Fixed a bug in structural equivalence.
Fixed a glitch in type reporting that caused constraints not to be shown.
Added some logging.
Reduced redundant constraint generation.
Merge branch 'master' of https://github.com/DaMSL/K3-Core