Little clean up
Remove deepcopy from resolution_rule

Now resolution_rule takes almost 1/30 of the time
Improve __eq__ of Formula