Closes #12.

This can be sorted, making updating them more lightweight because
diffs are smaller and probably also GIT's delta compression works
better.

Suggested by @zesoup.

It is now down to the 20% of the old type system.

This allows modelling type compatibility beyond equality.