Precedence: 8

`lu` - Factor through a [L]imit with [U]nit object
`lu` : o -> oo -> Product o oo

This operator is useful for constructing tuples.