Units of measure are conceptualized here as parameters on regions, which can be valued as datatype values.