Remove the distinction between typechecking with and without expected tc-results.