made proof parts of monad irrelevant. Plugged in proofs to Delay Monad def. Uncommented Delay monad file from Everything.agda
	modified:   Everything.agda
	modified:   Monads.agda
	modified:   Monads/Delay.agda