C++ has a type system. I suppose then that your implication is that it's not a 'good' type system. What would you pick instead?