[plt-scheme] What are syntax-case pattern variables?

Hi folks,

syntax-case takes a syntax object as an argument and destructures it
via pattern matching into pattern variables.

What are pattern variables composed of?

syntax takes a template, and the pattern variables in it, to produce a
syntax object that has the same lexical scoping as that of the pattern
variable, so where does that lexical scope get stored?

Best wishes,

Grant Rettke