Beyond that, I'd live to see locations output for everything involved in determining the types of the things that wound up incompatible. With type inference, the actual detected collision can drift a bit from the error. It can usually be quick to pin things down with annotations and get enough localization to find the error, but it would be even nicer to be able to skip that step.