Safe and efficient C++ interoperability via non-escapable types and lifetimes