basic tasks for type checking