Later. Allows for testing of functions that depend on the order of evaluation.
TODO: move this functionality to the testing package for Unamb.
Is the given function associative when restricted to the same value but possibly different times?
Is the given function commutative when restricted to the same value but possibly different times?
Delay a value's availability by the given duration in seconds. Note that the delay happens only on the first evaluation.