Fix variable shadowing when pattern matching on a pattern with only one variable, when it appears in a let-expression