Fixing type hierarchy of simplices.