PrelRules

primOpRules

builtinRules

caseRules