Added generic sequence and generic oriented sequence examples.

These illustrate trade-offs between types and validation.