more ADT stuff
slightly improve editor integration
back tracking
deactivate EVAL
all ADT stuff verified
fix bug