Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs