Reasoning support negative occurrences of & in object sequents.

At runtime, any encounter with a positive & results in the error
message:  "Abella does not support & in clause heads or goals".

Note that this cannot be checked entirely statically as users
can happily do whatever they want using variables of type o
at the reasoning level.