Add a note in the simplifier about in-scope set as a substitution

This note documents the conclusions of the discussion in #16592 (closed)

Closes #16592 (closed) .