Added full tests (don't see a good way to parameterize these -_-)
Add integer extension for Bits so 2.Bits() is valid