add scalacheck generators for models