Adds support for up and down moves
Adds QuickCheck test module