felix108：行多态性和亚型

子类型化以及具有行变量的记录的子类型化的替代方法。

• 子类型规则
  • 记录
  • 元组和数组子类型
  • 多态变异体亚型
  • 匿名和类型子类型
  • 功能子类型
  • 抽象指针子类型
  • 机器指针子类型
  • 唯一子类型
  • 用名义类型分型
• 行多态性
  • Polyrecord参数
  • 多记录值
  • 与对象一起使用