Specifications of Match

• Inputs: a pattern, pat, and an input, inp
• Constants in the pattern must match the input exactly. (This usually includes function names.)
• Structure that is present in the pattern must also be present in the input.
• Variables are symbols that begin with ?
• A variable can match anything, but it must do so consistently.
• The result of match is a list of bindings: nil indicates failure, not nil indicates success.
• The dummy binding (T T) is used to allow an empty binding list that is not nil.