What is a type?