To be written
Literal lists, ellipsis notation
List comprehensions
Basic recursion patterns (motivate polymorphism)