indCurried section and start elimUncurried.

Need to break return type of elimUncurried into pieces and
explain UncurriedBranches first.