A rule has an Argument Pattern and an
When a form matches the
a set of bindings are produced,
which are then spliced into the Rule’s
to make a new
This is done in a hygenic manner.