variable type validator