tighten the types of the examples
added all and exists examples
Merge branch 'master' into refactor

Conflicts:
	src/main/scala/reggen/SampleGenericCode.scala
Merge branch 'refactor'