Unit interval modules

Re-exports the UnitInterval sub-modules used by the quasi-Borel space formalization.