Merge _type_check_args_with_types back into type_check_args