Types within CK Construction