Description: Extend class notation with the function mapping a uniform structure to a uniform space.
class toUnifSp