redex: don't treat _ as a binder in extract-names

Closes PR 14466
redex: allow named ellipses to be bound as term-ids.

This enables the internal bindings generated by where clauses.

Closes PR 14467