Group_of_Lie_type loading ...