Type check visitor up and running (?)