[MLIR][Presburger] Definitions for basic functions related to cones (#76650)

We add some basic type aliases and function definitions relating to
cones for Barvinok's algorithm.
These include functions to get the dual of a cone and find its index.