A 'bind' macro for safe ppmpf tuples, in relation to #18.