Document Assumptions for TypeClass System

[gnumonik]

As Andrea pointed out to me, our typeclass system appears to be sound, but is only sound given a boatload of assumptions. I should write those down somewhere in order that we don't accidentally make a small change and break everything a few months from now.