Oops, test cases were not activated.
New 'finite' contracts for array. Thinking of adding a few others for numpy.
cosmetics