PrelRules
primOpRules
builtinRules
caseRules