The _ as x syntax is pointless! It can always be written more concisely as x.

Emit a warning when it is used, and have the formatter rewrite _ as y to y.

Update this document in the same PR to check those items off.