type cycles feature: window shows type cycles as list or graph