[ht_th]

I agree. And having to re-evaluate and improve your own mental models or local theories is part of learning anyway. That's not going away with these changes. But I think with these changes, the mental models will be easier to understand for teachers and closer to the model we aim for as teachers. As a result, it should be easier to nudge students into reforming their understanding towards the models we aim for. In particular, we can make easier programming examples because we can strip simple programs of a lot of more advanced boilerplate and syntax.