> 1) I think that interval-divide is a better name than interval-curry.  It
> reflects the analogous use of "divide" in Codd's' relational algebra.

This analogy is interesting.  I'm assuming the following interpretation:
the original interval is the dividend, one of the two return values of
interval-curry (say, the first one) is the divisor, and the other value
(second one) is the quotient.  In that case, to match the arguments of
interval-curry with those for the relational division operator we would
interpret the second argument as indicating the number of initial
dimensions of the interval we must project on to get the divisor.

That being said, I am not sure if the connection to either currying or
relational division is strong enough to be a help in understanding
interval-curry.  Perhaps something like interval-chop or interval-split
is more direct and intuitive.

Not a big issue, as far as I can tell, but it was interesting to ponder.

Regards,

-chaw