Document the instances of TriBooleanRepresentation

List in the documentation the only three physical instances
of TriBooleanRepresentation
Document functionality traits of TriBoolean

Provide documentation for the functionality traits of
TriBoolean such as Negatable and Conjoinable