tidying up EM2, tempted to parameterize the whole module by C and M
	modified:   EM2.agda
	modified:   TermAdj2Hom.agda
	modified:   TermAdj2Uniq.agda