[Broken] Fix type parameterization bug in solver.
Fix type filters being incorrectly applied across arms of a match expression.