Two-watch literal scheme implemented

It is slow and uses a lot of memory.  Need to work on performance.  I
will switch the formula to a sequence so we can index into it for
clauses, add watch lists, and change clauses to sequences as well.