Avoid using NULL_STR with scope_t::push_scope
Use std::make_shared
Remove unused operation queue type