basic implementation of proof GUI using lists, unstable
an improved implementation of proof GUI using lists and hierarchical
list data model. Button handlers not yet implemented.