rename mem.eq -> mem.cmp
rename str.eq -> str.cmp