It is arguably a coding convention to say "make new types and appropriate conversions to help ferret out errors, even when they are just aliases to existing typ

It is arguably a coding convention to say "make new types and appropriate conversions to help ferret out errors, even when they are just aliases to existing types". I see what you are doing here as fundamentally the same trick that the OP article does, albeit with some nice static analysis thrown in to help.