introduce UID type