Next major version of typecheck, mostly backwards compatible but with far greater compatibility with flow.