I wonder if we can improve RWO by having ocaml topexpect use short-paths in more places. Here's an example from chapter 9 that could be improved:  In particular `Core_kernel__Core_int` could be replaced with `Int` if short paths were in force.