Handle `new_ex_types` in functional style. More logging.