table_size datastructure

[Broes De Cat]

Table_size is some very awkward to work with: it is first always necessary to check whether it is finite, approx, infinite, ... and only afterwards do something with the size if applicable.

Instead, should have a comparison operator on tablesizes, on tablesize and ints and maxint should be tablesize infinite, ... to make the programming less error-prone.

[Broes De Cat]

Removing milestone: Later (automated comment)