Replace bool3 by tribool
In some quiet moment switch to using BOOST's
tribool (or C++11 equivalent if it exists).
It seems pointless trying to maintain a rival implementation.
Of course, this does mean accepting BOOST's approach to automatic conversions, printing of
tribool values, etc.