Enable the remaining tests for nested Options
Add Option-extended joins

- Definitions for new left and right outer joins with correct types.

- Support for translating left outer joins with primitive single-column
  types on the right side.