added a comment
added new language construct for "permit performing ..."
now also the construct for "deny performing..."
fixed bug and commented on other bug in async policy evaluation
added append obligation
fixed bug in new language statement