added language for type validator's types