created domains package
added inqualities to BoundedSum
ThreeIntEquations broken
gonna refactor readwrite
ReadWrite to trait
ThreeIntEquations working again
BoundedSum tests
added failing test
rewrote for non-singletons, but test isn't passing
works
lot of unit tests