A simple type defining the possible operations of a wpvs