Added helper to deeply substitute funapp symbols. Refactored createClosure to two-phase symbol extraction and matching. Reimplemented symRWAQuery with new primitives.
Merge branch 'effects2' of github.com:DaMSL/K3-Core into effects2