unicode.case: fix stack effect for replace.