Cleanup treatment of "_" variables in patterns and definitions

[girving]

Ideally, "_" should vanish entirely before we hit Lir.

[girving]

In particular, addVar, insertVar, and insertVars should probably all vanish.

[girving]

Probably we should go all the way and parse "_" separately from Var.