Bala2

Copperbox revision 778.

I've realized that the arithmetic on intervals is too simple-minded to handle the zero interval properly. This is a checkpoint commit before I attempt to tackle its shortcomings.