Corrected some errors in comments.
Added comments
Added test suite for pattern match.  Presently does not check mismatches, and stack-overflows when generating matches