Uncomment the IP class and remove kind annotation
Don't export Constraint since we don't support named kinds yet
Dummy definition for getCPUTime
Depend on integer-simple