Add tests that show how typechecker plugins interact with GHC depending on their purity, how they're wired up and whether GHC needs help typechecking.