模式同义词

A类模式同义词是可以在左手边使用的声明侧面（模式匹配时）和右侧（in表达式）。例如：

数据ℕ: 设置 哪里
  零 :ℕ苏克  :ℕ→ℕ图案z（z）=零图案不锈钢x=苏克(例如x)

（f） :ℕ→ℕ法兹=z（z）（f）(例如z) =ss z（秒z）（f）(序号)  =n个

模式同义词是通过对抽象进行替换来实现的语法，所以定义要进行范围检查，但未进行类型检查.他们对宇宙构建特别有用。