reversed the addition of backing structures to diSimplicies -- we still have to sort out equality of diSimplicies