rel. EM is terminal rel. adjunction
	modified:   Everything.agda
	modified:   REM2.agda
	new file:   TermRAdj2.agda
	new file:   TermRAdj2Hom.agda
	new file:   TermRAdj2Obj.agda