Added the Measured module and data type and improved tests through existential types.