make SubMaps deletable, and add a new function 'localize' for hiding/deleting names
Merge pull request #34 from diagrams/deletable-submap

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