This implements various private kernel routines for object type list management needed for access check code infrastructure. In addition, update the code documentation and add missing comments.