扩展类型系统