This is a major step for #17957 and the modularity work in general. If we can do this, we can soon-after rip the GHCi-specific parts of GHC-the-library out of there and put them in their own library.
Library type checks!
Executable type checks
Make plugins and TH splicing not use
Audit TODOs were I created empty interactive contexts in contrast to before where an existing one was threaded.