g-channels no longer built from arb to restriction.
print-proof-step only prints if one of the supports given actually is believed.
Re-ordered when properties are added to generic terms to BEFORE their unifying channels are built. This ensures that a generic term is actually identifiable as a generic term to the IG. This was causing some forward focused reasoning to not work.