Poly to e2 compiler

running (non monadic :/ ) version of the poly to e2 compiler