The Immaculate Conception and the evolution of dogma