Added canBeOff
Added initial support for bitvector representation. Pre-intersection changes.
Fixed up set intersection
Small cleanup.
Small changes
Merge branch 'efficiency'