什么是类型别名？什么是潜在类型？