Lambda the Ultimate

Interval Computations came up in a recent LtU discussion.

Are they a worthy language feature?

Chu Spaces are a simple and surprisingly general mathematical construct with applications to linear logic, concurrency, games, physics, philosophy and foundational mathematics. If he hasn't run across them before, I imagine (at least) Andris Birkmanis will find them quite interesting.