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.
Writing `: Virtual` feels like typecasing all around but I've adopted this practice in Scoobi to avoid painful maintenance when a new argument is added.