Proved dbindcong1 and dbindcong2
	modified:   Monads/Delay.agda
	modified:   RestrictionDelay.agda