. "i.e. In many langugaes where we could use the type system more we do not because the overhead of making a new type that is basically the same as an existing type other than name and a couple of conversion functions is too great." . . .