Make PathType a fully-fledged type