Allow hashing std::pair
[wip] Start implementing BDD creation from pbc