letfn: discard shadowed bindings