in Basics.pod, update Low Level Type System to change the literal syntax for most collection-like types, add literal syntax for types representing parameter lists or argument lists, update literal syntax for identifiers, references, singletons, and add a bunch of TODO_DRAFT items