landed support for promises
fixed quantifiers for the new iteration scheme