Rules for type checking, described in the Validator file