Allow view pattern into a single variable to be used in matches that expect a single variable

[evhub]

That way you can do e.g.

(int -> n) + "G" = "8G"

[evhub]

In addition to view patterns, let's also allow equality checks so we can do

a = "hello"
(==a) + " world" = "hello world"