updated to 0.2.0-SNAPSHOT
changed $circuit? to $circuit, and changed $all-different? to $distinct
Updated readme to mark expressions vs. constraints; reify now in the logic constraints section
updated from 0.2.0-SNAPSHOT to 0.2.0