Fix cardinality and formalizing of JOIN, NEST, and UNNEST.