Module rule
passerine::compiler
A rule has an Argument Pattern and an AST. When a form matches the ArgPat, A set of bindings are produced, which are then spliced into the Rule's AST To make a new AST. This is done in a hygenic manner.
AST
ArgPat