Homotopy Type Theory Mathematical Practices