Hmm, I think I finally got things right wrt. type parameters of generic methods. Things are a bit difficult since the IL just contains the number of the generic parameter in the method signature, but we need to create a "real" class with the correct constraints and everything.