cleaned up simulation definitions and type classes, now complete substitutes for ghost lemmas in Net
cleaned up simulation definitions and type classes, now complete substitutes for ghost lemmas in Net

DistributedComponents/verdi-aggregation,DistributedComponents/verdi-aggregation,DistributedComponents/verdi-aggregation,DistributedComponents/verdi-aggregation