updated pygmantize theme, diagrams for type derivations updated, and explanation of Typeing.hs included
simplified diagrams and closing paragraphs for second cs post