forgot hdata keyword
added suspension, its relation to pushout, and the circle as suspension