Improve error messages for skolems