Finished (non-inferring) typechecking.  Time to do inference.