Derive more Eq implementations

Fixes #181.