Reformat type_basic()