struct FixedBool

This is an empty subclass of std::true_type or std::false_type, but

different Index values yield distinct subclass types. This is necessary for

[[no_unique_address]] semantics to achieve an empty struct if two adjacent

fields have the same Value.