An introduction to type logical grammars (Catta)