Migliore gestione degli errori e inferenza dei tipi per gli sviluppatori 4D