more combinators implemented, Trampolined Step, pipe WIP