🔧 DefunctionalizationSpecificHigher-Order Elimination, CPS Transform, Closure Conversion, First-Order