runtime: tweaks for exposing to_element