Bugfix for parsing chained projections as a terminal expression
Bugfix for freshening collections and assignments. Added transactional writeback for case-of expressions, including proxy path labeling. Minor printing fixes, including the addition of a report prior to engine termination.