Public interface for the modules that can be used to rewrite the AST. Contains modules for constructing parts of the AST and modules for pattern matching (deconstructing) parts of the AST.