[cl216]
In a <rename>, the number of values in @ref and @new must be identical.
<rename>
@ref
@new
Affects: @new @ref<rename>
Used by template ŧ core-expansion-terse
ŧ core-expansion-terse