add new test
add framework for pattern-matching: walk through patterns one atom at a time
add new testcases