add back pattern matcher, rewriter, and meta

 - simple pattern-matcher with associative matching
 - simple rewriter (only one rule for now)
 - some work in progress on meta-level