signifigant progress made, tests for sequence properties complete, working on contract properties