The implementation of pairings was anticipated in this past paper, but later was done slightly different in the actual implementation. In the paper, it
was proposed as the declaration of its own data type, whereas the actual system now offers a built-in function TLPairing for that purpose. This is a small
change to what the paper said.