Added new document describing pattern-matching language.