Update tests for changes to inference

  The changes didn't alter the behavior of the typechecker, only the
warning/error output, and the order of some variables when generalizing.