Text this: Reasoning with polarity in categorial type logic