rename in package.scala Section-Heading
remove Contstraints and use Seq[Constr] instead

implicit class in package.scala to pimp Seq[Constr] with satisfy