Merge pull request #516 from basvandervlies/quick_fix

promise check for -> + unit test
rewrote the promiser syntax. We can handle promisee statements and promiser statements with or without constraints