use case-insensitive Set-like construct to avoid lot of toLowerCase()#316