I'm not sure what you mean. Formals to me mean bindings introduced by a `lambda` not `let`. And this is only useful for `let`, because with `lambda` you want to switch to the DeBrujin notation.