Support units of measure. For inspiration look at [F#](https://learn.microsoft.com/en-us/dotnet/fsharp/language-reference/units-of-measure). In our area it is useful for dimensions. ``` [<Measure>] type columnId [<Measure>] type rowId let getItem mtx (i:uint<columnId>) (j:uint<rowId>) = ... ```