Finished moving Polar code into Polar.Engine in State Engine monad