starting type checking