Made string hashing&eq case-insensitive, added strict/nonstrict expr distinction