RFC: Proposal for bit data

Trying to get feedback on bit-data. I realize that it may not be a 1.0 priority, but discussion on this is still helpful.
For proper integration in the language, you would also need to import bitdata representations from other crates (e.g. to build a bitdata A using components from another bitdata B). I have a hard time seeing this being implemented using macros.