Added equality comparison for ions.
Solution addition overloading doesn't repeat ions.
Updated buffer-finding example.