名义类型系统