类型系统指令的放置并未正式定义为验证规则

对于类型系统，只在§3.13 定义 → 自定义定义中以文本形式规定了指令只能在其声明的位置中使用的约束：

定义必须只在它们声明属于的位置中使用。