Extensions: new extensions to the Map module