cleanup
	modified:   EM2.agda
	modified:   EMFunctors2.agda