John the Baptist was a ‘type’ of Elijah