Only allow @ patterns on LHS

It's meaningless on the RHS and clashes with explicit instances, so
should be disallowed in the parser.
Forgot to commit the update test...