This is mainly for two purposes: 1. to keep it consistent with the C++ class name `mlir::GreedyRewriteConfig`, 2. to make it shorter. Since this type was only added a few days ago (654b3e844f21d3f64521e9cb028efdfebbf99bb4), it shouldn’t cause any obvious compatibility issues.