minor mods and added Geuvers intro to type theory notes