lisa: use str.casefold() to canonicalize strings

Rather than str.lower(), str.casefold() is designed to make comparison against a reference work better with unicode.