Update the repl to the new build_str api
Fixes to Set