Added new subgraph-free type invariants