The `lgtdoc` tool now also prints predicate coinduction templates