No longer try elimination rules on variables. They are asserted, but can't be eliminated.
When merging messages, the :pos and :neg count is now based on the merged flagged node set, and not simply additive.
When checking for variable labels, pre-build-var now looks inside sets.
apply-sub-to-term appears to work now.