TODOs moved out to README file, simple compile errors corrected in Types.hs