标签：别名类型