C++17 suggestions

The standard pointer\reference notation should be depreciated. Language changes: The new way will be fashioned after templates. There is only pointer<T>, and optimization of how it is treated is left to the compiler.

Library additions: A full featured non-axiomatic set theory library. The standard operations of union, intersect, power set, are all implemented of in an unordered container, and can handle comprehensions and infinite lists. Also contains functions for Cantor's method of coding to determine countability, and checking the injectiveness and bijectiveness of mappings between two sets (possibly done at compile time). Also, that cocksucker Russell can keep his fucking types and classes, these sets can eat themselves.

>>19,20
Undefined behavior is nothing more than the exalted laziness of the language designers. It is more straightforward for both programmers and machine optimizers if don't-care cases are explicitly annotated, rather than inferred as is done in C.