committing to the new equational reasoning to improve efficiency of the Chase
updating the comments on facebook.raz
fixing a bug where multiple values for a function wasn't instantiated correctly
adding test theories