Added figure to explain type checking