Bugfix: conflict sets now contain the transitive closure of goal reasons,
which is required for completeness.

We now finally have sufficient info to produce good error messages, too.
At a failure site, we can trace which parts of the tree are relevant to
the failure, via the correctly generated conflict sets.