Categorial Type Logics and Italian Corpora