Checkpoint dependent polynomial functor development

[rokopt]

Many more combinators for dependent polynomial functors, and use in their representation of Geb's core s-expression.