Discoverers are in fact filters

One special (hard-coded) discoverer should turn the target definition string into `Target`s. All the rest of the current discoverers can then be expressed as filters, leading to more expressive power.