Make the REPL use the `lambda-term` library, and add a separate mode for usage as a language server, rather than the current unitary system
Make the REPL use the
lambda-termlibrary, and add a separate mode for usage as a language server, rather than the current unitary system