Rules

RuleBase

type RuleBase

Constructing

Checking rule applications

Manipulating SpecInfo rules

Misc. CoreRule helpers