Try to represent summonFrom in the compiler as as `summonFrom(x => x match { case ... })`. This would mean that we would not have a special kind of `Match` tree in TASTy to represent it and we could remove `reflect.SummonFrom`.