Updated readme to mark expressions vs. constraints; reify now in the logic constraints section