The targets in this directory are not part of the core `kernel_types` libray,
but are helpful for writing code that uses those types.