Implemented core collection annotation. Added builtin collection transformers. Added closures to function values. Added syntax-oriented serialization/deserialization of collections and indirections.
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.

DaMSL/K3,yliu120/K3,DaMSL/K3