SZ() function for vector types
Initialization vector of memory can be smaller than memory size.
Added rudimentary tap support for multidimensional arrays.
Dontcare support with embarrassingly-bad optimization.