What challenges does the type-aware RAG method address?It addresses issues like type inconsistencies and incOMPlete dependency contexts that often lead to non-compilable models in industrial optimization.