new file:   Monads/CatofAdj/TermAdj.agda
	new file:   Monads/CatofAdj/TermAdjHom.agda
	new file:   Monads/CatofAdj/TermAdjUniq.agda