+doc: Document graph cycles

initial version
hmm "the presence of cycles are allowed by"