feat(tutorial1.org): begin introduction to dependent type theory in Lean
fix(tutorial1.org): fix typo
feat(tutorial1): finish first rough draft
fix(tutorial1.org): typos and suggestions
feat(01_The_Language_of_Dependent_Type_Theory.org): rename file