mf-apply keyword is for checked metafunction application in PLT Redex. In other words,
(mf-apply f x) is just like
(f x), but errors if
f is not a previously-defined metafunction.
Also, consider applying to attend The Racket School of Semantics and Languages in Salt Lake City this summer: http://summer-school.racket-lang.org/2017/