use really_believe_me instead of believe_me for free abelian group equalities
use really_believe_me instead of believe_me for free abelian group equalities

this fixes the game example

timjb/quantities