Added mu typing to type manifestation.
Fixed a bug related to binding built-in variable names.
Added unit test.
Merge branch 'master' of https://github.com/DaMSL/K3-Core