#32 Rewrite the general matching strategy on index

[Peter Klügl]

Change the current matching strategy of the basic annotations to a generic type of inference annotation and directly use the index. This should fix the one anchor, one rule match flaw.