Remove the PathEmpty ADT member

I like this because it drops a member of the PathRule ADTs. The downside is that its a little less verbose, but I feel its good because there is always the corner case of `PathMatch("")` that we should be worrying about anyway.

If there are no objections, I'll merge this tomorrow afternoon (~2 or 3 EST).