Redesign and improve the implementation of 'unpack' function

[Gab-km]

Unpacker.unpack function is large, crowded and complicated.
I want to make it simplified and be elegant.
(The state monad or something helps it?)