Minor comment cleanup for fusion
Merge branch 'master' of github.com:DaMSL/K3-Core
Added branch unnesting (e.g., case-of-case), and immediate destructuring transformations (e.g., record-project)
Merge branch 'master' of github.com:DaMSL/K3-Core