Type Theory And Lexical Decomposition