
Change use of integers in MODIFY and DEL in examples.

document IFTRACING

document QUIT QUITIF STOPAGENT STOPAGENTIF

document differences between debugging and non-debugging situation

check that debug options are handled even if pop_debugging is false

introduce syntax checking for spurious limit declarations

simplify TEACH SIM_DEMO
