Patching up some more stuff...
Modified 'integer'.
Cleaned up 'Maps.agda'.