Maintain linear facts in linked lists and not in tries.
Node addresses are now 64 bits.