Update args_type_checker.py