01.02.03 Resolve

Binders become identities.

Syntax → Resolved

01.02.02-parse is the previous arrow. 01.02.04-expand is the next.

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