Type–token distinction