experiment with alternative definition of toteq.
	modified:   MonicClasses.agda
	modified:   RestrictionCat.agda
Revert "experiment with alternative definition of toteq."

This reverts commit acdbdf3265f720179306d352366bbe4cba8bccd7.

	modified:   MonicClasses.agda
	modified:   RestrictionCat.agda