type verification