Add rsfull w/ optimization to shippable.

Currently failing: constness issue w/ new dataspace iterators
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
Implement proper global checking in lambda-form optimization.
Whitespace cleanup in q3.k3.
Fix StlDS iterators for const-correctness.
Add extremely simple I/O discrimination for purity.
Added simple example of send in a function for purity verification
Expose deep effect expansion routines.
Add null case for hasIO.
Add "frozen-purity" annotations for functions, fix deep effect expansion.

A lambda will have two purity annotations; the standard Pure annotation
will always be present since the construction of a function is always
pure, and the FPure annotation if the body of the function is also pure.
Fix shallow effect expansion in writeback optimization.
Adding ktrace module to generate debug database schema
Added a few more fields to the default event log
Update Map to store entire record as value
Merge branch 'master' of github.com:DaMSL/K3-Core