Hook up promise constraint checking to parser, add syntax unit tests