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

Empieza con el ejemplo de CodeWorld enlazado y sigue cómo se analizan y comprueban los tipos de las funciones de bloque definidas por el usuario. Aclara, a partir del ejemplo, la sintaxis y el ámbito previstos para los tipos explícitos antes de localizar la implementación relevante. Se considera completado cuando el ejemplo funciona con tipos explícitos sin introducir regresiones en el comportamiento existente de las funciones de bloque.

Escrito por el modelo de indexación a partir del texto del issue.