introduced product stars with left/right/pair operations, analogous to exponential stars