added transport properties of identity types
added Homotopy Types section

- added Homotopy Types section
- changed title of section 3
Merge branch 'week7'