types/Paths: basically finished