Trying to prove that Delay X is the initial algebra for F = X + _
	modified:   Delay.agda