Ran FXCop which found a couple of issues which have been corrected. Improved PatternMatching documentation.