Nilpotent Types and Fracture Squares in Homotopy Type Theory