Algebraic data types

To be written

• Sum types

• Type definitions

• Recursive types (lists, trees)