Added test to Matching.eli for issue #191
Changed equality tests with variables to use eq() instead of equal().
If an AtomSeq is associative and commutative, then sort at the end of
process(). Related to issue 191.