ForwardRule

ch

FreshIdents

ch

freeVars

TermExpr

freshVar

Sequent