Partitionable information for Orly's sequence type

Adding IsPartitionable() to Orly's Sequence type. This information implies that the sequence is fully realizable and can be partitioned into segments that can then be analyzed in parallel (for example by a commutative function)