Deskolemize type parameters

Miniboxing completely messes up skolemization -- I'm not sure to what
extent this matters at this point in the compilation process, but I
should really have a better story for it. I filed #29 for this.