Completato parzialmente Typecheck