wip: Nested Options

Here's my current thinking on the Lifted Embedding encoding of nested Options and multi-column Options. See my notes in NestingTest for details. This is based on approach 3 and so far it looks very promising.