Santo Ildefonso, Bispo, Doutor da Igreja