* moved map and composition to combinators;
* structured paths as steps or combinators;
* removed Rev for now;
* minor refactoring and renaming;