Moved MemSpaceMap into separate module (lib/memSpaceMap.ml).