Relation lifting, with an application to the many-valued cover modality (Logical Methods in Computer Science, 2013)