Move output formatting to rendering functions

The internal truth table is now exclusively made of
boolean types and only at rendering are they changed
to ones and zeroes.