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