Do not expand single-parameter tuples in existential types while solving. Print single parameter tuples in parentheses for less ambiguity.
Optimization in term abduction; should make solution logs more clear.