First round of typing