Improve error messages generated by the specification checks

This includes:

• More elaborate error messages if a type is missing, ...
• ... or wrong
• Improving the type compatibility checker