Initialize base-special-env in TR typecheck tests
Add `in-set` to Typed Racket

Closes PR 14128