Changed case matvars to use a stack rather than a single environment entry.
Merge branch 'simpler-effects' of github.com:DaMSL/K3-Core into simpler-effects