Add introduction in the developer manual.
Add pattern matching developper documentation.
Merge