I am refactoring a program which requires types to have a global unique number which increases by one for every object (ie. the max unique number should be the the amount of
