Module Promises

Common predicates shared between type-tracking and data-flow for promises.

Import path

import javascript

errorProp	Gets the pseudo-field used to describe rejected values in a promise.
valueProp	Gets the pseudo-field used to describe resolved values in a promise.