pub const DOT_MARKER: &str = "⟨proj⟩";Expand description
Reserved head marking surface dot notation receiver.field (E4). The parser emits
⟨proj⟩ receiver field (the field name carried as a Global); the elaborator rewrites it
to the projection H_field params… receiver and discards the marker. Collision-proof for
the same reason as ANON_CTOR_MARKER.