feat(01_Dependent_Type_Theory.org): rename title and chapter name