Proposed resolution:
This wording is relative to N4567.
Edit [meta.type.synop]/1 as indicated:
-1- The behavior of a program that adds specializations for any of the
classtemplates defined in this subclause is undefined unless otherwise specified.