Shorthand specification of terms in YAML

[nsbgn]

When the YAML specifies that terms should be drawn from a set of formulas, we can define some shortcuts. For example, branch is the union of unprocessed and processed, and constant-specification are those assumptions of the form c:_.