[jhc] Classes

John, can you please document your implementation of classes a bit? I'm trying to implement class aliases... we #haskellers are getting sick of having no such mechanism to play around with... but it would be a lot easier if I understood the module FrontEnd.Class.