typesystem changes for ckdoc