diner — restaurant type characteristic of American life, originally with prefabricated buildings