Elaborating on typing of collection literals in CLS