spj paper on unboxed types