Further work on the new type id system