simpl: drop lifted bindings at top-level