Added stateful transformation with Mealy machines. Simplified LeftJoin