Finished reworking/debugging BitVectors. Further tests required.