Use splitFunTysN and rewrite convert to get better debug output (and be more like convert')