Add more about rewriting, preparing for evaluation doc