Aliases as discussed in Issue #42

Proposed change for an equivalence relation between integer alias types.

There are a *lot* of different equivalence relations we could draw between unit types, this is just one.