Using New Types and Values in C9X