fix up the repl, now it's mainly working but there are some weird
warts...