Rename again.
Commentary on refinement not being a syntax change, with a fallback example.
Not syntax-level changes.
Grammar.