The VAppState type defines the set of states a vApp can be
in. The transitory states between started and stopped is modeled explicitly,
since the starting or stopping of a vApp is typically a time-consuming
process that might take minutes to complete.