AST substitution was not fixed in all cases

[stylewarning]

For correctness in more cases, we probably want to add stuff into new-subs whenever a variable is bound (not just in a let), like I think in bind and while-let and maybe match branches and something else.

Originally posted by @amorphedstar in #1363 (comment)