created ac3-test.clj
corrected check-unary-constraints
added some few doc strings
removed Constraint protocol
cleared ac3 using -> macro
added emptiness check to check-binary-constraints
testing simple cases of ac3
added some testing
fiddling round with check-binary-constraints