Create an `Eq` (or similar) typeclass

[tmciver]

This would be nice to have in any case but is particularly necessary because PHP does not seem to have a way to allow users to define equality in a custom way. This is needed, for example, when trying to compare difference LinkedList constructors (Cons vs ArrayBackedLinkedList).