Unified Semantics for ASP with Difference Constraints

Introduces a many-sorted variant of Bound-founded Logic of Here-and-There to unify the semantics of hybrid Answer Set Programming (ASP) solvers. The framework provides a consistent way to characterize foundedness for numeric variables across solvers like clingo[DL] and clingcon.