Remove web/ stub
Remove display functions
Remove history handling
[tests] Report if the REPL stops unexpectedly
Simpler API
[repl] Add display functions
Fix logical or