enable abbreviations in prooftree; new command for saving and continuing
enumerate counter
some progress ...