Implementation of array instructions in the reduced product,

Fixes #158.