TermAdj cleanup
	modified:   Monads/CatofAdj/TermAdj.agda
	modified:   Monads/CatofAdj/TermAdjHom.agda
	modified:   Monads/CatofAdj/TermAdjUniq.agda