Type checking variables