Clean up/optimize @return(undefined_to_opt) etc.

We currently have the following special directives for external function definitions:

@return(nullable)
external someFunc1: unit => option<string> = "someFunc"

@return(null_undefined_to_opt)
external someFunc2: unit => option<string> = "someFunc"

@return(undefined_to_opt)
external someFunc3: unit => option<string> = "someFunc"

@return(null_to_opt)
external someFunc4: unit => option<string> = "someFunc"

• 1 and 2 are actually the same.
• For 2, 3, and 4, the naming is unidiomatic (no camelCase, ...).
• 3 is probably not needed anymore as one could just define the external to return an option?
• Only 1 is actually documented.

Inizia individuando i punti di ingresso del compilatore che gestiscono @return(nullable), @return(null_undefined_to_opt), @return(undefined_to_opt) e @return(null_to_opt), quindi trova la documentazione di queste direttive. Determina quali direttive e quale denominazione devono essere mantenute, aggiorna in modo coerente l’implementazione e la documentazione, e aggiungi o modifica la copertura del comportamento mantenuto.