Add inverse composition function to StateSpace Class

[egordon]

#546 adds a lengthy pattern that gets the inverse of a state before composing it. Instead we should have an inverse composition (i.e. subtraction) function implemented between states for brevity.

@gilwoolee