TR: check kw function definitions even without type annotations

Adds a `tc-expr` case for keyword functions in addition to the `tc-expr/check` case.