[refactoring] consider splitting the wrapper into two wrappers

[Armael]

The current single wrapper can likely be split into two wrappers: one that deals with the ML->block-level representation of values, and one that deals with the block-level->C GC & rooting stuff.