Correct handling of the "prev" field.
Added separate tagless THUNK constructor (for use by the garbage collector).