Remove unneeded pattern name.
Merge the two certificates fields of index and let-with expressions.

This distinction makes sense in external L0, but not internally.  This
simplifies the code slightly.