On Quantitative Algebraic Higher-Order Theories