BTW I updated the docsite to refer to `check` instead of `ty

Question

BTW I updated the docsite to refer to `check` instead of `typecheck` in 2 8