abstracted out the object from TermRAdjHom and some cleanup in InitRAdj
	modified:   RMonads/CatofRAdj/InitRAdj.agda
	modified:   RMonads/CatofRAdj/TermRAdjHom.agda