А теперь глупый вопрос - что такое ковыражение? Гугл выдал про гены шото, а интуитивное определение как «противоположное выражению» делает стейтмент
Грубо говоря, если терм - это какая-то хреновина из применений функций, потребляющая ссылки на свободные переменные, производящая значение.
То котерм - это хреновина из коприменений (вложений) кофункций (экстракторов), потребляющая ковыражение (матчащееся значение) и производяща, ссылки на свободные копеременные ( заматченные привязанные имена )