Text this: A contextual formalization of structural coinduction.