Postponed RFC

This type would have to ensure two aspects:

1. The size of the representation is the same as the backing compiler's representation.
2. Each value is only ever allowed to contain the integer 0 or 1.

This could possibly be done through a new c_bool primitive type in liblibc (not an alias) or perhaps a wrapper struct/wrapper newtype if we're able to enhance as semantics enough (for example).