improve comments, the matcher is now feature complete, on to codegen.