IMPLEMENTATION MODULE MapTypes; 
END MapTypes.