make SubMaps deletable, and add a new function 'localize' for hiding/deleting names

This makes recursive constructions using names possible (i.e. using the same names at each level, then hiding them so they don't interfere with any of the levels above).