Oops, typecheck was supposed to be incomplete, but not through spurious errors.  Fixed one and its down to 5/64 new failures (plus lingering p12 failure on mac only).