reduced boxed-values overhead from 2 to 1 CPU words
debugged free-boxes and bignum read-from and write-to persistent store