The Utility of Combinatory Categorial Grammar in Designing a Pedagogical Tool for Teaching Languages