When it comes to roof repair, different types of roofing