Add some stuff about KDM types to the manual.