Some more direct goals for type invariants