[core] Remove some typegen-specific types

[davidkpiano]

Motivation:

• The preferred way of avoiding missing implementations is to use setup(...).createMachine(...)
• Specialized type-checking should be via a language server (e.g. in a future extension) or something like eslint
• Desire to simplify the types in XState and integrations

[changeset-bot]

🦋 Changeset detected

Latest commit: bd080b9

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 4 packages

Name	Type
@xstate/svelte	Patch
@xstate/react	Patch
@xstate/vue	Patch
xstate	Patch

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

[codesandbox-ci]

This pull request is automatically built and testable in CodeSandbox.

To see build info of the built libraries, click here or the icon next to each commit SHA.

Latest deployment of this branch, based on commit bd080b9:

Sandbox	Source
XState Example Template	Configuration
XState React Template	Configuration

[Andarist]

The preferred way of avoiding missing implementations is to use setup(...).createMachine(...)

It's just that this one isn't the case yet. setup isn't fully capable of avoiding missing implementations.

[davidkpiano]

@Andarist Is this good to go?

[Andarist]

I'm working on some further code cleanups related to this.

[Andarist]

in a separate PR we should remove some of the tests here - we have 2 describe blocks here, one is targeting the strict mode... but Solid doesn't have strict mode. Those tests were just copy-pasted from @xstate/react and didn't go through a purge of redundancy :P

[davidkpiano]

Sounds good