Give a warning about the consequences of removing types & box types

Plus some feedback about the results in the console