adamShimi comments on Minimalist And Maximalist Type Systems