[Feature Request] Trait for unsigned or signed integers + asserting two numbers have the same number of bits

[Kixiron]

A trait for accepting a blanket integer, signed or unsigned would be absolutely fantastic. In addition to that, a mechanism for making sure two numbers (disregarding signedness) and making sure they have the same number of bits/width (e.g. U32 == P32 == N32) would be amazing