• Improve support for generic types. Some type expressions containing generics did not reduce properly, even with simple catch all patterns. Now they do.
• Improve compile time performance for exhaustive patterns. Exhaustive patterns used to take a lot of compilation time because DistributeUnions sometimes creates huge type expressions and we were computing the pattern type based on it. Now Pattern always takes the user defined Input type instead of the distributed input.