Tracking issue for bitvector automation

This is the tracking issue for the bitvector automation 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 documentation
• Conduct a proper code review
• Add more tests