Macro impl_bits

macro_rules! impl_bits {
    () => { ... };
    (@inner $T:tt => bool) => { ... };
    (@inner $T:tt => $U:tt) => { ... };
    ($T:tt => [$($U:tt),*]; $($rest:tt)*) => { ... };
}