more features / refactorings for Archimedes.Maps