Typinferenz und Vollständigkeitsüberprüfung für Structural Pattern Matching in Python