Typology in Josephus