hpath-0.5.9: Support for well-typed paths