Add additional semantic types to the kernel.
Update type information inside the gdt.
Continue work on the GDT documentation.