Typescript Unique In Array Literal And Inferential Questions