Addressed a simple TODO.
Added expression type inference logging.
Added logging for interpretation of type expressions.
Some fixes to constraint closure and debug logging.
Merge branch 'master' of https://github.com/DaMSL/K3-Core