Improve problematic goal printing.
Improve support for quantifiers.
Show repr of goal explanation.