New branch with copatterns in Delay.agda
	modified:   Delay.agda
	modified:   ../Utilities.agda