ALTER TYPE 5: varbit and bit

Add exemptor functions for bit and varbit.  These are probably the simplest
examples of the full range of optimizations.  I would have used them as the test
case in the initial exemptor function patch if it were a more mainstream use
case.