enrichment over augmented simplicial sets