right now:

short-term:

future:
 * better (more efficient) implementation of IntInf (better
   datastructures, better algorithms)
