Strong typing and physical units

[Cecil Ward]

Of course, in C I used to do something like strong typing with an 
opaque type achieved by using something like typedef struct 
_something {} * type1; and then I had to do casting to get back 
the real type, which was unchecked but it did prevent the user 
from mixing up the types type1 and type2 say as they weren’t 
assignment compatible.

I would really like strong typing to be a built in feature. Would 
anyone else support this?