Specialize Pi in PropositionalDesc to a recursive function.

Function arguments of constructors can only be dependent on the index,
so it is not necessary to allow their description to return a Desc.
Instead, just make them return an index value. Also, ask for more arguments
after asking for a recursive function arguments.

Also combine PropositionalDesc and LabelLedDesc.