Making type synonyms
Trying out algebraic data types
Work showing the differnces of types
Making a union type for a shape
Working through pattern matching