The overall aim of this milestone is introduce type classes to PureCake.

The issues in this milestone are expected to evolve through the project, and should hopefully provide documentation on the design choices we have made.