Improved value auto-boxing for Objective-C