Add SBT to project, implement function ScalaCheck function generator.