Typechecks are optional, just use transpile-only mode for the build: it merely removes the type annotations, it's fast.

You can have the best of both worlds: Intellisense based on types in the editor yet fast transpile in the build.