Differential forms, subtypes, and senses of four types of Paths