Genericized string case insensitivity (addresses #15)