Case-insensitive params & nonterms