WIP: Skeleton for the types doc