Fixing the Eq instance for expressions