help system for TopDown interpreters