type form = Var of char | Abs of char * form | App of form * form;;
3. What happens (in terms of evaluation order) when the application
rule for CBN CPS is changed to `[MN] = \k.[N](\n.[M]nk)`? Likewise,
What happens when the application rule for CBV CPS is changed to `<MN>
type form = Var of char | Abs of char * form | App of form * form;;
3. What happens (in terms of evaluation order) when the application
rule for CBN CPS is changed to `[MN] = \k.[N](\n.[M]nk)`? Likewise,
What happens when the application rule for CBV CPS is changed to `<MN>