rewrote the promiser syntax. 

We can handle promisee statements and promiser statements with or without constraints