changed names to (co)unit in equivalences
started file on split_ess
added TODO file