Use functools/operator to cleanup bitvectors
Cleanup of BitVector types

* BitVector is now immutable
* Using EXPRZERO/EXPRONE instead of 0/1
* Raise vexpr coverage to 100%
* Use X + Y to concatenate