CS-E7 typed-input carrier — wraps the canonicalize discipline’s output as a Borrowed TermValue flowing through the ψ-pipeline.
Borrowed