Merge pull request #18 from blazetopher/fixes_cpu

Fixes cpu usage
Adds .combine() to *Value classes

Provides the ability to combine 2 instances of the same *Value class to create a new instance of the class with all values from both children.

Also adds __add__() function to SimpleDomainSet and DomainSet to allow ds3 = ds1 + ds2 functionality