ref: 7fc6512280437c7d8487476d48aedd8d7d135434
parent: f8707f1de15909e9efbc3cc68094b56a1395bed7
author: Ori Bernstein <ori@eigenstate.org>
date: Sun Sep 7 16:14:20 EDT 2014
Make deref() set the type of the loaded value.
This was causing some oddities in the size of our copies.