chg: Patternmatcher up to Associativity