Renamed: naked -> opaque.
Added new VectorValueTransform; it is applied when SingleValue is combined with MultiType. It generates type1, type2, type3, type4 primitive versions from the corresponding pointer types.
Moved opaque pointer checks to the unsafe method, if one exists.