export hit.Connectedness from HoTT

How did this get left out, I wonder?