### What feature should we add? Does the library implements a symmetric pairing like e where e : G1 x G2 -> Gt where G1 == G2?