Added :originsets option to list-terms, to show originsets when set true.
merge-messages redefined to take any number of messages to merge.
Updated several rules of inference to use the origin sets to determine assertedness. Still more to do.