Wrapped Values and Allocas in struct object; first steps towards (correct) NULL support