Add operator for nested-loop join to DFIR

[shadaj]

Will depend on Flo semantics (the RHS must be bounded).

[MingweiSamuel]

What would the DFIR look like?

[shadaj]

Probably identical syntactically to the current join operator, except requiring that the second input is bounded.