HOL pairs now translate into CakeML 2-tuples