Support uniqueness types when executing IO actions in REPL
Merge pull request #1510 from soimort/uniqueness-execute

Support uniqueness types when executing IO actions in REPL