mention genprog in introduction
more documentation and examples