Really begin Pattern.create
Fix a bug in the previous commit
Fix again a bug in the previous commit
Backend: Fix compilation of patterns
Pattern: Fix specialization
Highlight default case in patterns tree