Text this: Theory Reasoning in Connection Calculi