Use dedicated values for true and false.

Now every value but Nil is truthy (even 0),
and values of different types can be compared
for equality and ordering.  (Different types
are ordered in an arbitrary way; composite types
are ordered lexicographically.)
Add table types (untested but compile/runs)