Add literals/negation for bls12_381_g1/g2/fr

This MR:

1. Allows to use bls12_381_g1 literals.
2. It adds missing support for negation.
3. A new test case is added (providing proof for 42 * 42 = 1764).

• has a changelog entry