Prefer `gen.mkAttributedRef(sym)` to `Ident(sym)`. It sets the type straight away.

In earlier phases, you often want `gen.mkStableAttributedRef` to avoid widening singleton types. I don't *think* you need that here though.