Präsentation eines Typsystems.