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.
I had wondered before, and thinking even more now, should we created a Monoid for Dictionary? Or at least `Dictionary.empty`?

Unrelated, but this also makes me think that having ID on Dictionary might be a bad idea (but tell me if I'm being silly).