CatofAdj and InitAdj cleanup
	modified:   Monads/CatofAdj.agda
	modified:   Monads/CatofAdj/InitAdj.agda