some parameterized module related improvements
	modified:   EM2.agda
	modified:   EMAdj2.agda
	modified:   EMFunctors2.agda
	modified:   TermAdj2Hom.agda
	modified:   TermAdj2Uniq.agda