. "he is not strictly true: type inference works better for built-in types than for user-defined types, with auto x = 1; x is an int, how do I have the same type of syntax for MyInt?" . . .