Fixed the problem; it was in Parse.  It was trying to parse "+ 4 6" as
something like "+4 6" or "positive 4, 6".  Fixed it for now, but it
will need a little stronger reworking; the fix I implemented was to
parse as symbol first before trying for number.