Remainder primitives for bits
Mark bit divisions/remainders as partial
Eq and Ord instances for Bits
DRY
Fall back on base 2 printing for Mod2 for now
Eq and Ord for Mod2