Initial commit for sequential rules engine
More hacking on rules
Added quickcheck support
Added more properties to types
Minor cleanup in Main.hs