Create the IntegralAlias type

[markehammons]

As a user, I would like to be able to work with types like CLong, which are known to be integral, with ease. IntegralAlias should not only indicate that the type is an Alias type, but that it's an Alias of Integral types, and that there should be numeric operations for the type defined based on that.