When simplifying match types, ensure fully defined before reducing

Fixes scala#11977

Previously the match types were more often fully defined because inlining at Typer
caused more situations where type variables were instantiated. Now that inlining
is done later, we need to compensate. I believe it's a good idea anyway since it
means we can reduce more match types.

Author: odersky