in the middle of refactoring and adding structures to all simplicies -- so simplicies pick out specific simplicies in a structure -- need to complete new structure methods before simplicial equality specification will succeed