A type-theoretical reduction of morphological, syntactic and semantic compositionality to a single level of description