Wrote part of a real typechecking pass.  Already seeing an additional 12/64 failures as a result\!