Systematische Übersetzung von Formalisierungen der Typentheorie vom intrinsischen zum extrinsischen Stil