Marks an expression as referencing the constructor of an agent.

Marks member nodes with whether their implementation is promising, as computed by the scope system.