Added the pattern matching library pato