Add effect signature for strcomp.
Fix type-mismatch in Map iterators.
Run NRVO-Move before lambda optimization.
Rewrite writeback optimization to toggle materialization bits.
Fix NRVO-Move to use bit-aware queries.
Hack alpha-renaming for TPCH-1.

This works around bug in effect system capture.
Add C++ implementation for upsert_with.
Add type/effect signature for upsert-with.