[dty01]
Every div type reference must be valid in every source
Affects: @div-type<skip> <rename>
@div-type
<skip>
<rename>
Used by template ŧ class-2-expansion-terse
ŧ class-2-expansion-terse