Add lift to Traversal
Move lens to traversal compose to Lens
Split project and create macro part