Once this gets complex enough it'll need to be self-hosting in a sense;
check the rules against the rules -- de-duplicate, simplify, add
documentation, etc. :)

Internal consistency? I don't know the correct term offhand.