Adds EOF to the mapType in Galleon.
Goes towards #15