01.02.07 Lower

Reify the elaborated term into the dependent-CBPV core.

Elaborated → Core

01.02.06-elaborate is the previous arrow. 01.02.08-normalize is the next.

This page is the signature. The walker does not have this pass on its own yet.