XsemanticsXtext 的类型系统认领

Eclipse Xsemantics 是一种DSL（在 Xtext 中实现的），为 Xtext 实现了编写类型系统、缩减规则、解释器和一般关系规则的语