This stuff is a big part of the point of this change. The fact that all these expressions are just correct is much better than the previous state of affairs. The fact that this approach is what Kahan favors is what really convinced me to do this, although I suspected we should for quite some time.