Added support for higher arity functors
Added support for modal, ditransitives, and PPs.