Added skeleton support for the specialization of array value arguments to Mininess modules.