Update TypeTheory1.hs