Add Pair constructor for F.term