Added operator type which declares precondition and effects (variables)