Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy