proper encapsulation of the Isabelle command interface
store reference to Future instead of underlying Promise
more fine-grained debug output
translate datatype definitions