Working with chatGPT to design a curriculum for Computer Science 2.0: " ..The core programming languages course should include a focus on functional programming and type systems, as well as advanced language features such as dependent types, linear types, and refinement types.."