Respect override order in Discovery

[webmozart]

The Discovery should return bindings in an order that respects the "override" statements. The most specific bindings (i.e., if A overrides B, the ones from A) are returned last.