Add type constraint that bit1 is only allowed for powers of two.
Add type constraint that bit2 is only allowed for powers of two.