Fixed AddrWalker's unwrap sequence logic.

Fixes #233.

The address type are `UnwrapSequence`'d since `*<[[1..5]]>::(int)` stores values at
`<[1]>, ..., <[5]>`. The values are unwrapped optional and mutable since we don't allow storing optionals and mutables in the database.