A Higher-Order Colon Translation