Text this: Model Theory and Proof Theory of Coalgebraic Predicate Logic