Added some properties to be checked for collection operations.

Also added missing comments to the sequence types.