Types.h

Used by Kernel.h.