notify() is global function now, moved from syntax & anaphora modules to main.js & common.tpl