fix(tutorial1.org): typos and suggestions
feat(tutorial/01_The_Language_of_Dependent_Type_Theory.org): rename file