Remove stray file.
Reinstate multiline input in interactive mode.
Remove file name from interactive mode messages.
Improve interactive mode help messages.
Rejigger help pretty-printing.
Tidy types in interactive mode.
Allow completion of interactive commands and factor repetition.
Nix closure names, so they don't gunk up autocomplete.