Jeptha, Samson, and types of Christ in Judges