Tracking issue for bitvector library

This is the tracking issue for the bitvector library added in !408 (merged). A tracking issue is where we track and discuss what still needs to happen to make a module move to std++ proper.

Open issues

• Add notation in a bv scope
• Conduct a proper code review