Take a look at how Go handles interface types, because that is basically dynamic typing, and Go can allocate data as unboxed values.