Now DSL.exResolve takes a goal-ordering function, which is more flexible than a list of sorted goals.