CalibratedRealInterval also extend CalibratedSpace
Also implement CalibratedRealInterval

CombinedCalibratedRealInterval is supposed to be a CalibratedRealInterval.
This was an oversight previously.