Added structure-aware tree folds, and free variable extractor for expressions
Minor example changes.
Removing swp file
Fixed type propagation for functions
Changed tests to use new syntax serializers in the IO monad.
Syntax-oriented read/show renamed to pack/unpack. These are now defined in the IO monad to allow exchange of collections and indirections. Added a report function for message processor logging.
Implemented core collection annotation.
Added builtin collection transformers.
Added closures to function values.
Added syntax-oriented serialization/deserialization of collections and indirections.

This includes a shareable collection value, whose methods perform contextualization (binding of locally scoped variables) as necessary. Functions use their closures to also contextualize their interpretation.
Merge branch 'master' of github.com:DaMSL/K3-Core