$SetReplaceTypes gives the list of all types defined in SetReplace:
In[] := $SetReplaceTypes
Out[] = {{AtomicStateSystem, 0},
{HypergraphSubstitutionSystem, 0},
{MultisetSubstitutionSystem, 0},
{WolframModelEvolutionObject, 2}}