checkpoint newest attempt at `box (<place>) <value>` sugar.