Text this: Some uses of type theory in the analysis of language /