Add currying, closure and lambda to FP caracterization