Type Generation is the solution to avoiding a pool flush to clear old type+provider code. Also makes type+provider code "environment safe" in the sense that you can actually have different module versions loaded in different environments.