Fix a typo.
Add definition of exhaustive enumeration.
Add tuple type.
Add tuple, string operations.
Add introduction to decomposition and abstraction.
Add a new name to enumeration approach.
Add recursion.