Both Improved and added to documentation for the various components of the Pattern Matching facilities.