I'd like to opine that I personally like that our types are getting more honest in reflecting how things work,
Me too!
I just want to +1 the alternative/noob prelude suggestion which I believe came from many people; not to reduce the (default) honesty of the standard prelude