This module defines how data-flow propagates into and out of a Promise.
The data-flow is based on pseudo-properties rather than tainting the Promise object (which is what
Holds if there is a step for loading a
Holds if there is a step copying a resolved/rejected promise value from promise
Holds if there is a step for storing a