I could easily imagine a language extension that would automatically create "companion" number types for any other type ( you create a type "animal" and you aut

I could easily imagine a language extension that would automatically create "companion" number types for any other type ( you create a type "animal" and you automically get a "number of animals" unit of measure type. This way you would almost never have "raw" int or float types.