Sequence Contract

• doc
• SequenceContract.rb
• SequenceContractWithTests.rb