Rethink haystack problems and innovate on shortcomings

There are a few open questions with haystack problems:

- How do we ask users to find important information in messy descriptions and expect _one correct_ implementation? (note this means we have to write non-descriptive functions names -- modeling bad practice to users).

Could we not ask them to implement the types signature of the function? And write input and output tests? I guess we really have no guarantee about what they write... Maybe this does just need human evaluation

Non vengono indicati file, test o punti di ingresso. Inizia chiarendo se le firme dei tipi e i test di input/output debbano sostituire l’attuale approccio haystack e come verranno valutati i contributi. Il lavoro è considerato completato quando sono stati concordati un formato del problema e un approccio alla valutazione.

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