Add support for BitVector literals