A validator stores a set of validatin rules. It is a child class of
expressionset and
can be constructed with validator. validator contains
an extra slot "language" stating the language in which the validation
rule is expressed. The default, and currently only supported language is
the validate language implemented by this package.