bugfix: there are now no missing patterns in the definition of equality