Document cK and TypeAt