Added type declaration verification