bindings, toplevel: implement limited native-unboxing