Implemented addition, subtraction, and negation for StateSpace