To create a freeform diagram see Section 2.2
How to use kin type strings: see paragraphs 2 and 3;
How to add new kin types: see paragraph 2.