Support different kinds of canonicalisation

If I just want a tidy-looking path, monotonicization is enough.

If I want to check whether one path is a prefix of another, I need full canonicalization (at least for path segments that exist).