Metric Reasoning About λ-Terms: The General Case