Tried to improve the evaluation rule for `case of` by giving each consequent its own environment inheriting the outer environment, instead of copying the outer environment. I *think* that's simpler to reason about given how the rest of the language works.