parameterised CatofAdj module by cat and monad
	modified:   CatofAdj2.agda
	modified:   InitAdj2.agda
	modified:   TermAdj2.agda
	modified:   TermAdj2Uniq.agda