Switched over to Haskell, got much of the symcomp package done.
Started Haskell port