Would it be possible to categorize techs and give civs small bonuses to research according to their leader traits? Like, an aggressive leader would get a 10% bonus for archery and a philosophical one would get a 10% bonus for education. This would be an additional incentive for players to take their traits into account.