Special macro-expander for special cases of (function F). The two cases that are handled are: - closure-conversion of lambda expressions for `lexical-let'. - renaming of F when it's a function defined via `cl-labels' or `labels'. (fn F)