- theorem, statement theorem class now has load and display methods
- fixed some bugs dealing with editor id numbers