Joseph Myers granted us permission to use his MD5 implementation for
this project.

Also slightly improve error message when resolving incompatible types.