introduce actual assertions to get more certainty of the tests
implemented disequality, what a mess!
use :- in display of reified constraints (like core.logic)
finish up type inferencer example
fix tests to use :- instead of :
add rKanren paper to README
rewrite ConstraintStore::verify() to be more PHPish