cleaned up EM is terminal proof
	modified:   Monads/CatofAdj/TermAdj.agda
	modified:   Monads/CatofAdj/TermAdjHom.agda
	modified:   Monads/CatofAdj/TermAdjObj.agda
	modified:   Monads/CatofAdj/TermAdjUniq.agda