🧩 A type checker for Clingo ASP programs - View it on GitHub