some renaming
	renamed:    ../Modules.agda -> EMAlgebras.agda
	renamed:    EilenbergMoore.agda -> EMCat.agda