Legacy utility structs and traits, such as State or Set.
State
Set
Bitvectors are simply sequences of boolean values. However, since they are used quite often and in some very specific applications, we provide a unified optimized interface for them.