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

Inizia dall’esempio CodeWorld collegato e segui come vengono analizzate e sottoposte al controllo dei tipi le funzioni a blocchi definite dall’utente. Chiarisci, a partire dall’esempio, la sintassi e l’ambito previsti per i tipi espliciti prima di individuare l’implementazione pertinente. Il lavoro è completato quando l’esempio funziona con tipi espliciti senza introdurre regressioni nel comportamento esistente delle funzioni a blocchi.

Scritto dal modello di indicizzazione a partire dal testo della issue.