Category Language Typing