Move new code into new/
Change IState to a type of Either monad
Update generated Haskell files
Work on one of the remaining admits