Started with rewrite

This is an experiment in advanced techniques from
Shapeless and Scalaz. We will see, where this is going.