In the documentation for interval-subset? I say that it is an error if
the arguments do not have the same dimension. The implementation
doesn't signal that error, which is allowed, but because I'm fairly
careful to check that all other error conditions are caught and
signaled, I'd like to add this patch as a fix.