draft of work on disjunctions

@andreistefanescu @yilongli please review

Note that this is just a temporary solution to get nested * cells running. @andreistefanescu will follow up with a diff that cleans up the implementation and makes it more uniform.