Bug fixes. Updated specCalls to deal with interleaved ty and co vars.
Fixed applyCo bug, removed warning from Specialise.
Rewrote collectTyAndValBinders to go to the same depth at tcSplitSigmaTy.
Typo.
More bugfixes, including arity calculations in datacons.