added Homotopy Types section

- added Homotopy Types section
- changed title of section 3