Update document about pattern match, examples, and document about rinda itself