Fix return tc-results when typechecking kw lambda.