C++ combinator library and underlying runtime system