remove superfluous imports
some more notes here
some more notes here
whitespace cleanup
fix comment offset parsing for multiple comments in a row
make user interface more responsible when step until
reveal later if space
minor
implement better heuristic: every 500ms, rather than every 10 steps
include lemma definition in completions