Files having to do with the state of a repl session:
lines of text entered, types and terms defined, etc.
TODO: file locking.
An implementation-agnostic history interface which makes no
reference to the jline classes.
A straight scalification of the jline interface which mixes
in the sparse jline-independent one too.