2014-01-22-19.41.11: src/lib/compiler/front/typer/types/resolve-overloaded-variables.pkg:  Change to optionally use mainline unify_typoids() instead of simplified local version:  Engaging this option improves overloading behavior.