Simplicially_enriched_category loading ...