Tipizzazione più rigorosa degli oggetti in base alla classe