I like the current symmetry between the AGR and PRO tile bonuses, and in that sense it seems like a shame to completely redo the AGR trait. Would it work out better if AGR gave +1 hammer to 4-food tiles, while PRO gave +1 food to 4-hammer tiles?
If you know what I mean.