Presburger arithmetic solver in Idris