Only allow @ patterns on LHS

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