Improve dictionary definition.

This change makes a number of improvements:
  - Definitions are no longer indexed in only one way, we
    have the core data and then a number of indexes for
    different situations.
  - Lots more tests over dictionary structure.
  - FeatureId becames a first class citizen in Definition
    this is importantant because a definition didn't make
    sense to pass around on its own before.
  - Sped up dictionary arbitrary (there was an exponential
    explosion in cases, so I have capped the number of base
    features).

Fixes #226.
Fixes #228.

I was fairly liberal with moving things to other files to clean-up
dictionary - if it causes too many issues - I can do it in a couple
of steps - but would prefer to just fix it.
Stylistic question - you prefer this over `: Virtual`? I guess my thinking was that you don't have to change anything if the arguments change. But perhaps that's the reason not to - something may be relevant now? (I'm starting to see why something like `collect` is a really bad idea)