Added some bitvector implementations