Small modifications and started explanation of

linear types (and linear logic) and dependent types
Merge branch 'master' of github.com:pcouderc/tep-dlpcf