* Cherrypick non-comparability related changes from prolific literals PR
* Renames and other style changes
* Accept changes to new tests
* Exclude the domain root from contextual typing literals except for type variables
* Readd simple preservation fix
* Add huge map test
* Revert changes to widening on destructuring initalizers
* Use tristate for subtype-reduction type
* Rename type and argument
* Move longer-running test to user suite
If there is a test.json in the directory, it expects to find a
submodule in the directory. The submodule should have the same name as
the directory itself. test.json contains a list of global types that
need to be available, or the empty list if none.
* Realworld runner draft
* Baseline tsc output instead of just checking exit code
* use latest instead of major minor pin
* Add 7 more test cases + update gitignore
* Update baselines for realworld/user tests
* Rename to user
* Do not commit lockfiles
* Add code to run user tests on CRON
* Add rest of most-dependend packages to user tests
Turns out levelup doesn't have types! So I removed that one.
