Fix a few bugs

Mostly concerning infnum, and signednessness of various operations
results (meh..)
Use a linked list for the GC's pool and for types