Add a monadic transformer class.

This class helps the transformations to be easily combined.
Add initial version of tree traverser & extractor.
Beautify StoreScope and TreeGenTransformer traits.
Add some TODO lines