moving Delay to new style of quotients, R2--R4 currently postulated
	modified:   Monads/Delay.agda
	modified:   RestrictionDelay.agda