more on literal object types