Splitting off Freudenthal from Suspension (so that connectedness can be redefined using truncations, creating dependencies Freudenthal <- Connectedness <- Truncation <- Spheres <- Suspension).