add acyclic test. rename Types->Type.