more tasks for type checking