WithImplication

TypeExpr

WithLambdaTerm

ch

wrapped

NamedConjunctT