gain understanding of traverse and resurrect in relevant examples

[klaeufer]

Traverse

also try to apply to Gen in the expression-algebraic-scala tests.

droste-explorations-scala/src/test/scala/NatFProps.scala
falgebra-explorations-scala/src/test/scala/*
simpleimperative-algebraic-scala/src/test/scala/lawTests.scala