If you really care about unboxing, read up on TIL and TAL and FLINT. Don't start with a paper that doesn't scale to vectors and modules. When you have finished reading this stuff, apply for a PhD program. :-) -- Matthias