From Logi to Grammars via Types ?