ABC.md - new section on annotations
Dict,ao Main - support for compilation with stack entry/exit annotations
removed 'simplify' annotation; serialized error output