Added unqualified expressions to instrumentation.
Added qualified expressions to instrumentation.
Added transitivity to closure.
Partial draft of type manifestation routine.
Some more work on type manifestation.  Opaques and mu types are not yet addressed; everything else seems to be working.
Merge branch 'master' of https://github.com/DaMSL/K3-Core
Addressed opaque binding in type realization module.  Mu recursion has not yet been handled.
Manual merge.