Improve error messages #92
Description
For example, we currently leave HasField constraints simply unresolved even if we have evidence that a field is definitely not there. We should instead issue a custom error message ("field not present in.."). Similar improvements can be made to the other classes that we resolve.