Presburger arithmetic solver for built-in type-level naturals - View it on GitHub