DDC.Core.Simplifier.Recipe

Atomic recipies

idsimp

anonymize

snip

snipOver

flatten

beta

betaLets

prune

forward

bubble

elaborate

Compound recipies

anormalize

rewriteSimp