8.14 Some Further Ideas

194NOTYET dom: CombinatorialSpeciesAlgebra 194
CS == (L: LabelType) -> CombinatorialSpecies L;
CombinatorialSpeciesAlgebra: with {
        1: %;
        X: %;
        +: (%, %) -> %;
        coerce: CS -> %;
        coerce: % -> CS;
} == add {
        Rep == CS;
        coerce(cs: CS): % == per cs;
        coerce(x: %): CS == rep x;
        1: % == per EmptySetSpecies;
        X: % == per SingletonSpecies;
        (x: %) + (y: %): % == per Plus(rep x, rep y);
}

Defines:
CombinatorialSpeciesAlgebra, never used.

Uses CombinatorialSpecies 71, EmptySetSpecies 83, LabelType 62, Plus 166a, and SingletonSpecies 84.