Add combine, derivative, integral, smoothing to HOFuns.ml