1) refactored mentions of formulaset to meaning in phrase
2) added equality operations to formulasets
3) refactored variable name in formulaset.append()
4) Clarified __str__ a bit