Preliminary work for including arrmeta in pattern_match