(Some very minor message quality fixes.)
Improved type mismatch error messages. Most importantly, now it prints the FTL type names (and the wrapper type and the wrapped object types if available). I still have to hunt down all the places where type error messages are generated... certainly I have missed a few.