Pro.Value and pevery of Pro.Array implemented and tested