Improve some __repr__ and __str__
Improved equivalence tests
Added tests and enhanced truth table
Added example