add scalacheck plus trivial experiment