Drastic change of user-defined pointer type notation, and addition of support tools for casting between user-defined pointer types