First steps on expression transformer impl