fix extraction

no HOAS interface for let bindings yet