Categorial Type Logic meets Dependency Grammar to annotate an Italian corpus