Rewrite reads, parses and type checks the Go code in all the given packages, and traverses the syntax tree of each file, calling pre and post for each node as described in the apply package.