Email Record: Some uses of type theory in the analysis of language /