add a ++ operator so suit C++ rules about incrementing enumerated types