Text this: Formal Languages, Formally and Coinductively