further cleanup of TermAdj proof
	modified:   CatofAdj/TermAdj.agda
	modified:   CatofAdj/TermAdjHom.agda
	modified:   CatofAdj/TermAdjUniq.agda