type checking started