clearer and more harmonious error messages+discussion

the general idea is fine, but a lot of progress has been made, and there's not much concrete to go on here...