notes, programs, fragments, proofs and other stuff related to Benjamin Pierce's 'Types and Programming Languages'