7.5 Unicon中的运行时类型检查和类型推断