Rewrote everything from scratch; now evaluation of composed traversals seems to work fine; still a lot of things are not done yet