Implement Map.lookup_with for copy-free lookup actions.
Implement Map.lookup_with for copy-free lookup actions.

Only does unit-actions for now, until I figure out the types.

DaMSL/K3,DaMSL/K3,yliu120/K3