Text this: Lovasz-type theorems and game comonads