Improve representation of valid/invalid path characters

[propensive]

We can better represent the set of characters that are valid in a path as:

• a union of character ranges which are valid
• a union of individual characters in those ranges which are not valid ("exceptions")
• a flag which determines whether names are case-sensitive