Day 2 exercises complete and working.
Not entirely happy with the solutions
I don't yet have an intuitive feel for the
behaviour of the typechecker, or the type syntax.