继续完善类型系统