Added initial support for bitvector representation. Pre-intersection changes.