added the Eilenberg Moore category of a monad
	new file:   ../Modules.agda
	modified:   ../Monads.agda
	new file:   EilenbergMoore.agda