More traversal helpers and a default expression constructor for types
Added improved cyclic scope checking for HMTypes. Fixed up property propagation to apply to all globals
Added annotation to track user-defined effect declarations. These can now be reinstated when stripping effects
Initial draft of new fusion implementation based solely on folds
Minor updates for testing new fusion
Merge branch 'master' of github.com:DaMSL/K3-Core