Linguistic Analysis, Description, and Typological Exploration with Categorial Grammar (TheBench Guide)