types/Paths: basically finished
Merge pull request #83 from mikeshulman/paths

types/Paths: basically finished