Add (fixed) faster variable freshening

This used to break evaluation, only because map creation violated the
invariant.

And it gives some speedup.
Speed up operations with insertLookupWithKey