Defines pat-id as a match expander that takes one pattern argument per
field of the structure described by struct-id. The resulting match
expander recognizes instances of the structure and matches their fields against
the corresponding patterns.