Prolog checker walks begin/n goals.

Fixes bug with predicates being improperly marked as unused.
Reversed order of EL node enumeration from Prolog

Now enumerates in forward order rather than reverse order.
Minor grammar extensions
Failed tasks now kill themselves
Scripts store history and await lists as / nodes

Makes it easier to see their state in the debugger.