Spell type with a 'y' not an 'i'
Essentially eliminate automatically imported modules
Remove Dummy.cabal file which is no longer used in development
Move HTML generation code out of the compiler