chalk-ir (cargo): Chalk's internal representation of types, goals, and clauses
Keywords: compiler|prolog|traits