treat sessions as entities with defining position;
tuned signature;

clarified signature;

provide session base for "isabelle build" and "isabelle console" ML process;

clarified modules;

tuned;

more operations;

tuned signature;

manage the underlying ML process in Scala;

clarified ML syntax for strings concerning UTF8;