Types

The beginnings of the lesson on types.