removed Types.hs. Stuff has been moved to other places