Wir brauchen Tython. Python mit Typsicherheit.