User-defined block functions should be allowed to get explicit types

Since CodeWorld enables scoped type variables, it's possible to implement this in the pattern. For example, https://code.world/#PF-6FWEOWxwYUV5oUgJ3Fkg

Beginne mit dem verlinkten CodeWorld-Beispiel und verfolge, wie benutzerdefinierte Blockfunktionen geparst und typgeprüft werden. Kläre anhand des Beispiels die vorgesehene Syntax und den Gültigkeitsbereich expliziter Typen, bevor du die relevante Implementierung suchst. Als erledigt gilt die Aufgabe, wenn das Beispiel mit expliziten Typen funktioniert, ohne das bestehende Verhalten von Blockfunktionen zu beeinträchtigen.

Vom Indexierungsmodell aus dem Issue-Text verfasst.