1) altered equality and hash for formula instances (now also includes existing arguments)
2) redefined __neq__ as not __eq__