Combine pattern check, sublist grab, and assert in a single operation.
Let common lisp macros handle rare error reporting for a failed match.