Are you aware?

[pdehaye]

Of the work of @AndreCensi at http://www.co-design.science ? A programming language to deal with optimization problems expressed with monotone functions. You might be able to apply your work to his problems.