Support uniqueness types when executing IO actions in REPL