Updated presentation
Reorganized code
Removed ScalaCheck dependency