Fix types for new `racket/file` keyword arguments.
Move Typed Racket tests to their own package.
Remove unneeded require.