Add Eq and Ord instances for a couple of types.

Useful if you want to put them in a map or set.